Nuprl Definition : es-interface
11,40
postcript
pdf
AbsInterface(
A
) == E
(
A
+ Top)
latex
clarification:
AbsInterface(
es
;
A
) == es-E(
es
)
(
A
+ Top)
latex
Definitions
x
:
A
B
(
x
)
,
E
,
left
+
right
,
Top
FDL editor aliases
es-interface
origin
(A + Top)
(A + Top) (A + Top)
(A + Top) B(x)